Propositional variable

A renaming is a function mapping propositional variable to itself or its complement , a variable renaming is a permutation over the set of propositional variables of a formula , and a literal renaming is a combination of a renaming and a variable renaming .

改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。